typed lambda-calculus
具型式之 λ 演算
热门查询
- warbling n. 鸟啭鸣；颤声 vt. 鸟鸣；用柔和的颤声唱 vi. 鸟鸣；用柔和的颤声唱
- shucks int. 呸！；什么！（表示不满或歉意）
- seating n. 就座；座位数 v. 为…领座；为…提供座位（seat的ing形式）
- ethnomusicology n. 人种音乐学
- kiwi n. 猕猴桃；几维（一种新西兰产的无翼鸟）；新西兰人
- sams abbr. soluble adhesion molecules 可溶性粘连分子
- discouraged v. 劝阻（discourage的过去分词）；使失去勇气 adj. 气馁的
- Heidelberg 海德尔堡
- civility n. 礼貌；礼仪；端庄
- russet n. 赤褐色，黄褐色；冬季粗皮苹果（黄色苹果之一种） adj. 黄褐色的，赤褐色的
- freed v. 使自由；解放（free的过去分词） adj. 释放的 n. (Freed)人名；(英)弗里德；(瑞典、法)弗雷德
- retching n. 干呕；恶心 v. 干呕；恶心（retch的ing形式）
- amoral adj. 与道德无关的；无从区分是非的；超道德的
- obliged adj. 必须的；感激的；有责任的 v. 要求；约束；施恩惠（oblige的过去分词）
- turgid adj. 肿胀的；浮夸的；浮肿的
- megalopolis n. 特大都市；人口稠密地带
- Scotch adj. 苏格兰人的；苏格兰语的
- denitrification n. 脱氮；[化学] 反硝化作用
- alms n. 捐献；救济物，施舍金
- negligee n. 随便的衣着；女便服 adj. 衣著不整的
